\input{header.tex} 

\begin{document}

$(\forall{x}\ x > c) \triangleright (\exists{x}\ x < c)$
\end{document}
